Additional evidence for a dual-strategy model of reasoning: Probabilistic reasoning is more invariant than reasoning about logical validity
نویسندگان
چکیده
منابع مشابه
Combining Logical and Probabilistic Reasoning
This paper describes a family of knowledge representation problems, whose intuitive solutions require reasoning about defaults, the effects of actions, and quantitative probabilities. We describe an extension of the probabilistic logic language P-log (Baral & Gelfond & Rushton 2004), which uses “consistency restoring rules” to tackle the problems described. We also report the results of a preli...
متن کاملUnifying Logical and Probabilistic Reasoning
Most formal techniques of automated reasoning are either rooted in logic or in probability theory. These areas have a long tradition in science, particularly among philosophers and mathematicians. More recently, computer scientists have discovered logic and probability theory to be the two key techniques for building intelligent systems which rely on reasoning as a central component. Despite nu...
متن کاملReasoning and intuiting the standards for judgments
What is the extension to which the act of reasoning and the standards of judgments are interrelated? The author, proposing Muslim scholars` views in the field and relying on traditions, ahadith, has concluded that firstly one has to answer the question: does the standard and expediency of Divine judgment lies in the judgment or in its object? The latter is signified, however, with view to so...
متن کاملA novel model of clinical reasoning: Cognitive zipper model
Introduction: Clinical reasoning is a vital aspect of physiciancompetence. It has been the subject of academic research fordecades, and various models of clinical reasoning have beenproposed. The aim of the present study was to develop a theoreticalmodel of clinical reasoning.Methods: To conduct our study, we applied the process of theorysynthesis in accordan...
متن کاملReasoning about probabilistic sequential programs
A complete and decidable Hoare-style calculus for iteration-free prob-abilistic sequential programs is presented using a state logic with truth-functional propositional (not arithmetical) connectives.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memory & Cognition
سال: 2015
ISSN: 0090-502X,1532-5946
DOI: 10.3758/s13421-015-0535-1